theorem checking造句

造句与例句手机版

In the late sixties, he designed the Automath language for representing mathematical proofs, so that they could be verified automatically ( see automated theorem checking ).
It's difficult to see theorem checking in a sentence. 用theorem checking造句挺难的

相邻词汇

用"theorbos"造句, 用"theordore"造句, 用"theorell"造句, 用"theorem"造句, 用"theorem checker"造句, 用"theorem for normal matrices"造句, 用"theorem of arithmetic progression"造句, 用"theorem of bertini"造句, 用"theorem of carleman"造句,

如何用theorem checking造句，用theorem checking造句，theorem checking in a sentence, 用theorem checking造句和theorem checking的例句由查查汉语词典提供，版权所有违者必究。